As systems based on opaque Artificial Intelligence (AI) continue to flourish in diverse real-world applications, understanding these black box models has become paramount. In response, Explainable AI (XAI) has emerged as a field of research with practical and ethical benefits across various domains. This paper not only highlights the advancements in XAI and its application in real-world scenarios but also addresses the ongoing challenges within XAI, emphasizing the need for broader perspectives and collaborative efforts. We bring together experts from diverse (...) fields to identify open problems, striving to synchronize research agendas and accelerate XAI in practical applications. By fostering collaborative discussion and interdisciplinary cooperation, we aim to propel XAI forward, contributing to its continued success. Our goal is to put forward a comprehensive proposal for advancing XAI. To achieve this goal, we present a manifesto of 27 open problems categorized into nine categories. These challenges encapsulate the complexities and nuances of XAI and offer a road map for future research. For each problem, we provide promising research directions in the hope of harnessing the collective intelligence of interested stakeholders. (shrink)

Maggior specializzazione del volontariato e azioni di advocacy più mirate. Questi alcuni dei tratti inediti del volontariato toscano che emergono dalla nuova ricerca promossa da Cesvot e condotta dall'Università di Pisa. Un volontariato ‘inatteso', come recita il titolo del libro, che sta modificando il concetto di solidarietà, che come scrive Andrea Salvini, “cessa di essere un'idea o un progetto politico-culturale, ma diviene sempre più un insieme di pratiche che producono significati differenti, in situazioni specifiche”. Nel volume sono pubblicati molti (...) dati significativi sull'organizzazione del lavoro volontario, sull'attività delle associazioni, sui rapporti di collaborazione e networking, sulla capacità di reperire e gestire le risorse economiche. Chiude il volume un approfondimento di Luca Corchia su ‘giovani e volontariato' con dati relativi alla partecipazione giovanile e alle motivazioni che spingono i giovani ad avvicinarsi alle attività di volontariato. (shrink)

This paper is part of a project that is based on the notion of a dialectical system, introduced by Magari as a way of capturing trial and error mathematics. In Amidei et al. (2016, Rev. Symb. Logic, 9, 1–26) and Amidei et al. (2016, Rev. Symb. Logic, 9, 299–324), we investigated the expressive and computational power of dialectical systems, and we compared them to a new class of systems, that of quasi-dialectical systems, that enrich Magari’s systems with a natural mechanism (...) of revision. In the present paper we consider a third class of systems, that of p-dialectical systems, that naturally combine features coming from the two other cases. We prove several results about p-dialectical systems and the sets that they represent. Then we focus on the completions of first-order theories. In doing so, we consider systems with connectives, i.e. systems that encode the rules of classical logic. We show that any consistent system with connectives represents the completion of a given theory. We prove that dialectical and q-dialectical systems coincide with respect to the completions that they can represent. Yet, p-dialectical systems are more powerful; we exhibit a p-dialectical system representing a completion of Peano Arithmetic that is neither dialectical nor q-dialectical. (shrink)

Bibliography of the writings of Andrea Poma.

This is an Editorial Note for the special volume of the journal Manuscrito (42: 4) devoted to Aristotle's theory of demonstration and its logical and metaphysical entanglements, which has been organized by me and Breno Zuppolini (as Guest Editors), with papers authored by Benjamin Morison, Owen Goldin, David Bronstein, Michail Peramatzis, Andrea Falcon, Laura Castelli, Paolo Fait, Joseph Karbowski, Adam Crager, Klaus Corcilius, Robert J. Hankinson, Raphael Zillig and Pieter Sjoerd Hasper.

The picture of synthetic biology as a kind of engineering science has largely created the public understanding of this novel field, covering both its promises and risks. In this paper, we will argue that the actual situation is more nuanced and complex. Synthetic biology is a highly interdisciplinary field of research located at the interface of physics, chemistry, biology, and computational science. All of these fields provide concepts, metaphors, mathematical tools, and models, which are typically utilized by synthetic biologists by (...) drawing analogies between the different fields of inquiry. We will study analogical reasoning in synthetic biology through the emergence of the functional meaning of noise, which marks an important shift in how engineering concepts are employed in this field. The notion of noise serves also to highlight the differences between the two branches of synthetic biology: the basic science-oriented branch and the engineering-oriented branch, which differ from each other in the way they draw analogies to various other fields of study. Moreover, we show that fixing the mapping between a source domain and the target domain seems not to be the goal of analogical reasoning in actual scientific practice. (shrink)

The ability of a group of adults with high functioning autism (HFA) or Asperger Syndrome (AS) to distinguish moral, conventional and disgust transgressions was investigated using a set of six transgression scenarios, each of which was followed by questions about permissibility, seriousness, authority contingency and justification. The results showed that although individuals with HFA or AS (HFA/AS) were able to distinguish affect-backed norms from conventional affect-neutral norms along the dimensions of permissibility, seriousness and authority-dependence, they failed to distinguish moral and (...) disgust transgressions along the seriousness dimension and were unable to provide appropriate welfare-based moral justifications. Moreover, they judged conventional and disgust transgressions to be more serious than did the comparison group, and the correlation analysis revealed that the seriousness rating was related to their ToM impairment. We concluded that difficulties providing appropriate moral justifications and evaluating the seriousness of transgressions in individuals with HFA/AS may be explained by an impaired cognitive appraisal system that, while responsive to rule violations, fails to use relevant information about the agent’s intentions and the affective impact of the action outcome in conscious moral reasoning. (shrink)

This paper develops a probabilistic analysis of conditionals which hinges on a quantitative measure of evidential support. In order to spell out the interpreta- tion of ‘if’ suggested, we will compare it with two more familiar interpretations, the suppositional interpretation and the strict interpretation, within a formal framework which rests on fairly uncontroversial assumptions. As it will emerge, each of the three interpretations considered exhibits specific logical features that deserve separate consideration.

In this paper, we identify a new and mathematically well-defined sense in which the coherence of a set of hypotheses can be truth-conducive. Our focus is not, as usual, on the probability but on the confirmation of a coherent set and its members. We show that, if evidence confirms a hypothesis, confirmation is “transmitted” to any hypotheses that are sufficiently coherent with the former hypothesis, according to some appropriate probabilistic coherence measure such as Olsson’s or Fitelson’s measure. Our findings have (...) implications for scientific methodology, as they provide a formal rationale for the method of indirect confirmation and the method of confirming theories by confirming their parts. (shrink)

We provide a framework for understanding agnosticism. The framework accounts for the varieties of agnosticism while vindicating the unity of the phenomenon. This combination of unity and plurality is achieved by taking the varieties of agnosticism to be represented by several agnostic stances, all of which share a common core provided by what we call the minimal agnostic attitude. We illustrate the fruitfulness of the framework by showing how it can be applied to several philosophical debates. In particular, several philosophical (...) positions can be aptly conceived of as instances of agnosticism whilst retaining their differences and distinguishing features. (shrink)

Data involving epistemic modals suggest that some classically valid argument forms, such as _reductio_, are invalid in natural language reasoning as they lead to modal collapses. We adduce further data showing that the classical argument forms governing the existential quantifier are similarly defective, as they lead to a _de re–de dicto_ collapse. We observe a similar problem for disjunction. But if the classical argument forms for negation, disjunction and existential quantification are invalid, what are the correct forms that govern the (...) use of these items? Our diagnosis is that epistemic modals interfere with hypothetical reasoning. We present a modal first-order logic and model theory that characterizes hypothetical reasoning with epistemic modals in a principled manner. One upshot is a sound and complete natural deduction system for reasoning with epistemic modals in first-order logic. (shrink)

In the last few decades the role played by models and modeling activities has become a central topic in the scientific enterprise. In particular, it has been highlighted both that the development of models constitutes a crucial step for understanding the world and that the developed models operate as mediators between theories and the world. Such perspective is exploited here to cope with the issue as to whether error-based and uncertainty-based modeling of measurement are incompatible, and thus alternative with one (...) another, as sometimes claimed nowadays. The crucial problem is whether assuming this standpoint implies definitely renouncing to maintain a role for truth and the related concepts, particularly accuracy, in measurement. It is argued here that the well known objections against true values in measurement, which would lead to refuse the concept of accuracy as non-operational, or to maintain it as only qualitative, derive from a not clear distinction between three distinct processes: the metrological characterization of measuring systems, their calibration, and finally measurement. Under the hypotheses that (1) the concept of true value is related to the model of a measurement process, (2) the concept of uncertainty is related to the connection between such model and the world, and (3) accuracy is a property of measuring systems (and not of measurement results) and uncertainty is a property of measurement results (and not of measuring systems), not only the compatibility but actually the conjoint need of error-based and uncertainty-based modeling emerges. (shrink)

According to Phenomenal Conservatism (PC), if a subject S has an appearance that P, in the absence of defeaters, S has justification for believing P by virtue of her appearance's inherent justifying power. McCain and Moretti (2021) have argued that PC is affected by the problem of reflective awareness: if S becomes reflectively aware of an appearance, the appearance loses its inherent justifying power. This limits the explanatory power of PC and reduces its antisceptical bite. This paper provides a novel (...) argument to the same conclusion and contends that it does not apply to Phenomenal Explanationism, the appearance-based account of justification alternative to PC defended by McCain and Moretti (2021). (shrink)

Philosophers have claimed that education aims at fostering disparate epistemic goals. In this paper we focus on an important segment of this debate involving conversation between Alvin Goldman and Harvey Siegel. Goldman claims that education is essentially aimed at producing true beliefs. Siegel contends that education is essentially aimed at fostering both true beliefs and, independently, critical thinking and rational belief. Although we find Siegel’s position intuitively more plausible than Goldman’s, we also find Siegel’s defence of it wanting. We suggest (...) novel argumentative strategies that draw on Siegel’s own arguments but look to us more promising. (shrink)

Empirical philosophers of science aim to base their philosophical theories on observations of scientific practice. But since there is far too much science to observe it all, how can we form and test hypotheses about science that are sufficiently rigorous and broad in scope, while avoiding the pitfalls of bias and subjectivity in our methods? Part of the answer, we claim, lies in the computational tools of the digital humanities, which allow us to analyze large volumes of scientific literature. Here (...) we advocate for the use of these methods by addressing a number of large-scale, justificatory concerns—specifically, about the epistemic value of journal articles as evidence for what happens elsewhere in science, and about the ability of DH tools to extract this evidence. Far from ignoring the gap between scientific literature and the rest of scientific practice, effective use of DH tools requires critical reflection about these relationships. (shrink)

This paper outlines an account of conditionals, the evidential account, which rests on the idea that a conditional is true just in case its antecedent supports its consequent. As we will show, the evidential account exhibits some distinctive logical features that deserve careful consideration. On the one hand, it departs from the material reading of ‘if then’ exactly in the way we would like it to depart from that reading. On the other, it significantly differs from the non-material accounts which (...) hinge on the Ramsey Test, advocated by Adams, Stalnaker, Lewis, and others. (shrink)

We propose a nonmonotonic Description Logic of typicality able to account for the phenomenon of the combination of prototypical concepts. The proposed logic relies on the logic of typicality ALC + TR, whose semantics is based on the notion of rational closure, as well as on the distributed semantics of probabilistic Description Logics, and is equipped with a cognitive heuristic used by humans for concept composition. We first extend the logic of typicality ALC + TR by typicality inclusions of the (...) form p :: T(C) v D, whose intuitive meaning is that “we believe with degree p about the fact that typical Cs are Ds”. As in the distributed semantics, we define different scenarios containing only some typicality inclusions, each one having a suitable probability. We then exploit such scenarios in order to ascribe typical properties to a concept C obtained as the combination of two prototypical concepts. We also show that reasoning in the proposed Description Logic is EXPTIME-complete as for the underlying standard Description Logic ALC. (shrink)

Good chefs know the importance of maintaining sharp knives in the kitchen. What’s their secret? A well-worn Taoist allegory offers some advice. The king asks about his butcher’s impressive knifework. “Ordinary butchers,” he replied “hack their way through the animal. Thus their knife always needs sharpening. My father taught me the Taoist way. I merely lay the knife by the natural openings and let it find its own way through. Thus it never needs sharpening” (Kahn 1995, vii; see also Watson (...) 2003, 46). Plato famously employed this image as an analogy for the reality of his Forms (Phaedrus, 265e). Just like an animal, the world comes pre-divided for us. Ideally, our best theories will be those which “carve nature at its joints”. While Plato employed the “carving” metaphor to convey his views about the reality of his celebrated Forms, its most common contemporary use involves the success of science -- particularly, its success in identifying distinct kinds of things. Scientists often report discovering new kinds of things -- a new species of mammal or novel kind of fundamental particle, for example -- or uncovering more information about already familiar kinds. Moreover, we often notice considerable overlap in different approaches to classification. As Ernst Mayr put it: No naturalist would question the reality of the species he may find in his garden, whether it is a catbird, chickadee, robin, or starling. And the same is true for trees or flowering plants. Species at a given locality are almost invariably separated from each other by a distinct gap. Nothing convinced me so fully of the reality of species as the observation . . . that the Stone Age natives in the mountains of New Guinea recognize as species exactly the same entities of nature as a western scientist. (Mayr 1987, 146) Such agreement is certainly suggestive. It suggests that taxonomies are discoveries rather than mere inventions. Couple this with their utility in scientific inference and explanation and we have compelling reason for accepting the objective, independent reality of many different natural kinds of things.. (shrink)

The issue whether psychopathic offenders are practically rational has attracted philosophical attention. The problem is relevant in theoretical discussions on moral psychology and in those concerning the appropriate social response to the crimes of these individuals. We argue that classical and current experiments concerning the instrumental learning in psychopaths cannot directly support the conclusion that they have impaired instrumental rationality, construed as the ability for transferring the motivation by means-ends reasoning. In fact, we defend the different claim that these experiments (...) appear to show that psychopaths in certain circumstances are not aware of the relevant means for their ends. Moreover, we suggest how further empirical research could help to settle the issue. (shrink)

One striking feature of the contemporary modelling practice is its interdisciplinary nature. The same equation forms, and mathematical and computational methods, are used across different disciplines, as well as within the same discipline. Are there, then, differences between intra- and interdisciplinary transfer, and can the comparison between the two provide more insight on the challenges of interdisciplinary theoretical work? We will study the development and various uses of the Ising model within physics, contrasting them to its applications to socio-economic systems. (...) While the renormalization group methods justify the transfer of the Ising model within physics – by ascribing them to the same universality class – its application to socio-economic phenomena has no such theoretical grounding. As a result, the insights gained by modelling socio-economic phenomena by the Ising model may remain limited. (shrink)

We propose a nonmonotonic Description Logic of typicality able to account for the phenomenon of combining prototypical concepts, an open problem in the fields of AI and cognitive modelling. Our logic extends the logic of typicality ALC + TR, based on the notion of rational closure, by inclusions p :: T(C) v D (“we have probability p that typical Cs are Ds”), coming from the distributed semantics of probabilistic Description Logics. Additionally, it embeds a set of cognitive heuristics for concept (...) combination. We show that the complexity of reasoning in our logic is EXPTIME-complete as in ALC. (shrink)

The book provides an overview of the contemporary discussion of the mind-body problem. This discussion takes its modern form during the 17th century in the works of René Descartes. The book covers the most important points of view in modern philosophy of mind. An important thesis of the book is that contemporary debates are still heavily influenced by Descartes’ arguments, especially those related to the nature of consciousness. (Google translate).

In some recent works, Crupi and Iacona have outlined an analysis of ‘if’ based on Chrysippus’ idea that a conditional holds whenever the negation of its consequent is incompatible with its antecedent. This paper presents a sound and complete system of conditional logic that accommodates their analysis. The soundness and completeness proofs that will be provided rely on a general method elaborated by Raidl, which applies to a wide range of systems of conditional logic.

The expression conditional fallacy identifies a family of arguments deemed to entail odd and false consequences for notions defined in terms of counterfactuals. The antirealist notion of truth is typically defined in terms of what a rational enquirer or a community of rational enquirers would believe if they were suitably informed. This notion is deemed to entail, via the conditional fallacy, odd and false propositions, for example that there necessarily exists a rational enquirer. If these consequences do indeed follow from (...) the antirealist notion of truth, alethic antirealism should probably be rejected. In this paper we analyse the conditional fallacy from a semantic (i.e. model-theoretic) point of view. This allows us to identify with precision the philosophical commitments that ground the validity of this type of argument. We show that the conditional fallacy arguments against alethic antirealism are valid only if controversial metaphysical assumptions are accepted. We suggest that the antirealist is not committed to the conditional fallacy because she is not committed to some of these assumptions. (shrink)

Beall and Restall 2000; 2001; 2006 advocate a comprehensive pluralist approach to logic, which they call Logical Pluralism, according to which there is not one true logic but many equally acceptable logical systems. They maintain that Logical Pluralism is compatible with monism about metaphysical modality, according to which there is just one correct logic of metaphysical modality. Wyatt 2004 contends that Logical Pluralism is incompatible with monism about metaphysical modality. We first suggest that if Wyatt were right, Logical Pluralism would (...) be strongly implausible because it would get upside down a dependence relation that holds between metaphysics and logic of modality. We then argue that Logical Pluralism is prima facie compatible with monism about metaphysical modality. (shrink)

This paper examines two parallel discussions of scientific modeling which have invoked experimentation in addressing the role of models in scientific inquiry. One side discusses the experimental character of models, whereas the other focuses on their exploratory uses. Although both relate modeling to experimentation, they do so differently. The former has considered the similarities and differences between models and experiments, addressing, in particular, the epistemic value of materiality. By contrast, the focus on exploratory modeling has highlighted the various kinds of (...) exploratory functions of models in the early stages of inquiry. These two perspectives on modeling are discussed through a case study in the field of synthetic biology. The research practice in question explores biological control by making use of an ensemble of different epistemic means: mathematical models and simulations, synthetic genetic circuits and intracellular measuring devices, and finally electronic circuits. We argue that the study of exploratory modeling should trace the ways different epistemic means, in different materialities, are being combined over time. Finally, the epistemic status of such novel investigative objects as synthetic genetic circuits is evaluated, with the conclusion that they can function as both experiments and models. (shrink)

In this paper we focus on the logicality of language, i.e. the idea that the language system contains a deductive device to exclude analytic constructions. Puzzling evidence for the logicality of language comes from acceptable contradictions and tautologies. The standard response in the literature involves assuming that the language system only accesses analyticities that are due to skeletons as opposed to standard logical forms. In this paper we submit evidence in support of alternative accounts of logicality, which reject the stipulation (...) of a natural logic and assume instead the meaning modulation of nonlogical terms. (shrink)

Matthew McGrath has recently challenged all theories that allow for immediate perceptual justification. This challenge comes by way of arguing for what he calls the “Looks View” of visual justification, which entails that our visual beliefs that are allegedly immediately justified are in fact mediately justified based on our independent beliefs about the looks of things. This paper shows that McGrath’s arguments are unsound or, at the very least, that they do not cause genuine concern for the species of dogmatism (...) called “Phenomenal Explanationism”, recently introduced and defended by Kevin McCain and Luca Moretti. (shrink)

A prominent objection against the logicality of second-order logic is the so-called Overgeneration Argument. However, it is far from clear how this argument is to be understood. In the first part of the article, we examine the argument and locate its main source, namely, the alleged entanglement of second-order logic and mathematics. We then identify various reasons why the entanglement may be thought to be problematic. In the second part of the article, we take a metatheoretic perspective on the matter. (...) We prove a number of results establishing that the entanglement is sensitive to the kind of semantics used for second-order logic. These results provide evidence that by moving from the standard set-theoretic semantics for second-order logic to a semantics which makes use of higher-order resources, the entanglement either disappears or may no longer be in conflict with the logicality of second-order logic. (shrink)

ABSTRACT Is there something specific about modelling that distinguishes it from many other theoretical endeavours? We consider Michael Weisberg’s thesis that modelling is a form of indirect representation through a close examination of the historical roots of the Lotka–Volterra model. While Weisberg discusses only Volterra’s work, we also study Lotka’s very different design of the Lotka–Volterra model. We will argue that while there are elements of indirect representation in both Volterra’s and Lotka’s modelling approaches, they are largely due to two (...) other features of contemporary model construction processes that Weisberg does not explicitly consider: the methods-drivenness and outcome-orientedness of modelling. 1Introduction 2Modelling as Indirect Representation 3The Design of the Lotka–Volterra Model by Volterra 3.1Volterra’s method of hypothesis 3.2The construction of the Lotka–Volterra model by Volterra 4The Design of the Lotka–Volterra Model by Lotka 4.1Physical biology according to Lotka 4.2Lotka’s systems approach and the Lotka–Volterra model 5Philosophical Discussion: Strategies and Tools of Modelling 5.1Volterra’s path from the method of isolation to the method of hypothesis 5.2The template-based approach of Lotka 5.3Modelling: methods-driven and outcome-oriented 6Conclusion. (shrink)

This paper investigates the logic of reasons. Its aim is to provide an analysis of the sentences of the form ‘p is a reason for q’ that yields a coherent account of their logical properties. The idea that we will develop is that ‘p is a reason for q’ is acceptable just in case a suitably defined relation of incompatibility obtains between p and ¬q. As we will suggest, a theory of reasons based on this idea can solve three challenging (...) puzzles that concern, respectively, contraposing reasons, conflicting reasons, and supererogatory reasons, and opens a new perspective on some classical issues concerning non-deductive inferences. (shrink)

Recently there has been a trend of moving towards biological and neurocognitive based classifications of mental disorders that is motivated by a dissatisfaction with the syndrome-based classifications of mental disorders. The Research Domain Criteria (indicated with the acronym RDoC) represents a bold and systematic attempt to foster this advancement. However, RDoC faces theoretical and conceptual issues that need to be addressed. Some of these difficulties emerge when we reflect on the plausible reading of the slogan “mental disorders are brain disorders”, (...) that according to proponents of RDoC constitutes one of its main presuppositions. Some authors think that endorsing this idea commits RDoC to a form of biological reductionism. We offer empirical and theoretical considerations for concluding that the slogan above should not be read as a reductionist thesis. We argue, instead, that the slogan has a pragmatic function whose aim is to direct research in psychopathology. We show how this function might be captured in the framework of a Carnapian explication as a methodological tool for conceptual engineering. Thus, we argue that a charitable interpretation of the aims of the proponents of RDoC should be understood as an attempt at providing an explication of the concept of mental disorder in terms of brain disorder whose main goal is to provide a more precise and fruitful notion that is expected to have a beneficial impact on classification, research, and treatment of psychiatric conditions. (shrink)

We focus on issues of learning assessment from the point of view of an investigation of philosophical elements in teaching. We contend that assessment of concept possession at school based on ordinary multiple-choice tests might be ineffective because it overlooks aspects of human rationality illuminated by Robert Brandom’s inferentialism––the view that conceptual content largely coincides with the inferential role of linguistic expressions used in public discourse. More particularly, we argue that multiple-choice tests at schools might fail to accurately assess the (...) possession of a concept or the lack of it, for they only check the written outputs of the pupils who take them, without detecting the inferences actually endorsed or used by them. We suggest that school tests would acquire reliability if they enabled pupils to make the reasons of their answers or the inferences they use explicit, so as to contribute to what Brandom calls the game of giving and asking for reasons. We explore the possibility to put this suggestion into practice by deploying two-tier multiple-choice tests. (shrink)

Åsa Burman has recently introduced the important notion of telic power and differentiated it from deontic power in an attempt to build a bridge between ideal and non-ideal social ontology. We find Burman’s project promising but we argue that more is to be done to make it entirely successful. First, there is a palpable tension between Burman’s claim that telic power can be ontologically independent of deontic power and her examples, which suggests that these forms of power share the same (...) basis. Second, it is not completely clear how telic power specifically helps non-ideal social ontologists explain oppression. We offer solutions to both problems. First, we question Burman’s arguments for the conclusion that telic power can exist without deontic power. Burman contends that this is possible because some social roles involving telic power can exist independently of institutions as sets of constitutive rules, which are––in her opinion––the source of deontic power. Burman’s arguments are not persuasive because they disregard the possibility that all social roles involve deontic power, whether or not they are institutional. Second, we argue that while the exercise of deontic power requires a collective recognition of the social roles of the interacting agents and, therefore, a recognition of the associated norms, the exercise of telic power does not require recognition of the relevant norms. This is why invoking telic power is particularly useful in explaining how oppression and injustice can arise. Lastly, we suggest that the relation between teleological normativity and telic power has not been fully clarified by Burman and requires a deeper analysis. (shrink)

According to the view of conditionals named 'inferentialism', a conditional holds when its consequent can be inferred from its antecedent. This paper identifies some major challenges that inferentialism has to face, and uses them to assess three accounts of conditionals: one is the classical strict account, the other two have recently been proposed by Douven and Rott. As will be shown, none of the three proposals meets all challenges in a fully satisfactory way. We argue through novel formal results that (...) a variation of the evidential account of conditionals suggested by Crupi and Iacona is the most promising candidate to develop inferentialism in a coherent formal framework. (shrink)

Most of human-robot interaction (HRI) research relies on an implicit assumption that seems to drive experimental work in interaction studies: the more anthropomorphism we can reach in robots, the more effective the robot will be in 'being social.' The notion of 'sociomorphing' was developed in order to challenge the assumption of ubiquitous anthropomorphizing. This paper aims to explore the notion of sociomorphing by analysing the possibilities offered by actor-network theory (ANT). We claim that ANT is a valid framework to re-think (...) the conceptual couple anthropomorphizing / sociomorphing and answer the following question: What kind of negotiation process and social practices can be developed in HRI, given the notion of sociomorph interactional networks? (shrink)

This paper outlines an account of concessive conditionals that rests on two main ideas. One is that the logical form of a sentence as used in a given context is determined by the content expressed by the sentence in that context. The other is that a coherent distinction can be drawn between a reading of ‘if’ according to which a conditional is true when its consequent holds on the supposition that its antecedent holds, and a stronger reading according to which (...) a conditional is true when its antecedent supports its consequent. As we will suggest, the logical form of concessive conditionals can be elucidated by relying on this distinction. (shrink)

Perception is said to have assertoric force: It inclines the perceiver to believe its content. In contrast, perceptual imagination is commonly taken to be non-assertoric: Imagining winning a piano contest does not incline the imaginer to believe they actually won. However, abundant evidence from clinical and experimental psychology shows that imagination influences attitudes and behavior in ways similar to perceptual experiences. To account for these phenomena, I propose that perceptual imaginings have implicit assertoric force and put forth a theory—the Prima (...) Facie View—as a unified explanation for the empirical findings reviewed. According to this view, mental images are treated as percepts in operations involving associative memory. Finally, I address alternative explanations that could account for the reviewed empirical evidence—such as a Spinozian model of belief formation or Gendler’s notion of alief—as well as potential objections to the Prima Facie View. (shrink)

Background The worldwide increase in older persons demands technological solutions to combat the shortage of caregiving and to enable aging in place. Smart home health technologies (SHHTs) are promoted and implemented as a possible solution from an economic and practical perspective. However, ethical considerations are equally important and need to be investigated. Methods We conducted a systematic review according to the PRISMA guidelines to investigate if and how ethical questions are discussed in the field of SHHTs in caregiving for older (...) persons. Results 156 peer-reviewed articles published in English, German and French were retrieved and analyzed across 10 electronic databases. Using narrative analysis, 7 ethical categories were mapped: privacy, autonomy, responsibility, human vs. artificial interactions, trust, ageism and stigma, and other concerns. Conclusion The findings of our systematic review show the (lack of) ethical consideration when it comes to the development and implementation of SHHTs for older persons. Our analysis is useful to promote careful ethical consideration when carrying out technology development, research and deployment to care for older persons. Registration We registered our systematic review in the PROSPERO network under CRD42021248543. (shrink)

Recently, Bechtel and Abrahamsen have argued that mathematical models study the dynamics of mechanisms by recomposing the components and their operations into an appropriately organized system. We will study this claim through the practice of combinational modeling in circadian clock research. In combinational modeling, experiments on model organisms and mathematical/computational models are combined with a new type of model—a synthetic model. We argue that the strategy of recomposition is more complicated than what Bechtel and Abrahamsen indicate. Moreover, synthetic modeling as (...) a kind of material recomposition strategy also points beyond the mechanistic paradigm. (shrink)

In this paper, we embark on the complicated discussion about the nature of vice in Virtue Ethics through a twofold approach: first, by taking seriously the claim that virtues (and certain flavours of vices) are genuinely dispositional features possessed by agents, and secondly, by employing a pluralistic attitude borrowed from Battaly’s pluralism (2008). Through these lenses, we identify three varieties of viciousness: incontinence, indifference, and malevolence. The upshot is that the notion of vice is not as categorically homogeneous as that (...) of virtue: some states of viciousness consist in interference of present virtuous dispositions, or mimicking of absent vicious ones, whereas others can be considered genuine dispositions themselves. Furthermore, this set-up can provide an interesting, albeit highly idealized story as to how, through the interference in one’s environment, one gets acquainted with vice in various degrees. Finally, this approach can be illuminating vis-à-vis Virtue Ethics in general; e.g. we can employ it to discuss more productively Johnston’s (2003) objection to Hursthouse’s (1999) account of moral conduct. Finally, this approach can be illuminating vis-a-vis Virtue Ethics in general; e.g. we can employ it to discuss more productively Johnston’s (2003) objection to Hursthouse’s (1999) account of moral conduct. (shrink)

My claim in this article is that the thesis that Buddhism has no God, insofar as it is taken to apply to Buddhism universally, is false. I defend this claim by interpreting a central text in East-Asian Buddhism – The Awakening of Faith in Mahāyāna – through the lenses of perfect being theology (PBT), a research programme in philosophy of religion that attempts to provide a description of God through a two-step process: (1) defining God in terms of maximal greatness; (...) (2) inferring the properties or attributes that God must have in virtue of satisfying the definition. My argument comprises two steps. First, I argue that, since PBT is a method for providing a description of God starting from a definition of God, any text that contains a PBT ipso facto contains a notion of God. Second, I argue through textual evidence that The Awakening articulates a PBT, concluding that it contains a notion of God. Since the method of PBT leaves open what descriptions are to be inferred, my argument allows me to conclude that a text contains a notion of God without previously committing to any particular conception of the divine, which makes it particularly versatile and powerful. (shrink)

Some mental states have valence—they are pleasant or unpleasant. According to imperativism, valence depends on imperative content, while evaluativism tells us that it depends on evaluative content. We argue that if one considers valence’s informational profile, it becomes evident that imperativism is superior to evaluativism. More precisely, we show that if one applies the best available metasemantics to the role played by (un)pleasant mental states in our cognitive economy, then these states turn out to have imperative rather than evaluative content, (...) since: (i) they are much more informative about behaviour than they are about the world; and (ii) they occupy a stage in the information-processing chain that is closer to behaviour production than it is to the uptake of sensory information. This is our metasemantic argument for imperativism. (shrink)

Synthetic biology has a strong modal dimension that is part and parcel of its engineering agenda. In turning hypothetical biological designs into actual synthetic constructs, synthetic biologists reach towards potential biology instead of concentrating on naturally evolved organisms. We analyze synthetic biology’s goal of making biology easier to engineer through the combinatorial theory of possibility, which reduces possibility to combinations of individuals and their attributes in the actual world. While the last decades of synthetic biology explorations have shown biology to (...) be much more difficult to engineer than originally conceived, synthetic biology has not given up its combinatorial approach. (shrink)